|
Your search returned 4 records. Click on the hyperlinks to view further details of Titles.. |
Magazine Name : Ieee Transactions On Software Engineering
|
Year : 1996 Volume number : 22 Issue: 04 |
Reasoningabout Places Times, And Actions In The Presence Of Mobility
(Article)
Subject:
Mobile Computing Systems
,
Time
,
Formal
,
Unity Pf
Author:
C. Donald
Swilcox
Gruia-Catalin
Roman
page:
225
-
247
A Formal Analysis Of The Subsums Relation Between Software Test Adequacy Criteria
(Article)
Subject:
Software Testing
,
Test Cells
,
Fault Detection
Author:
Hong
Zhu
page:
248
-
255
The Sl Synchronous Language
(Article)
Subject:
Automata
,
Reactive System
,
Parallelism
,
Concurrency
Author:
Frederic
Boussinot
Robert De
Simone
page:
256
-
266
Correspondence
(Article)
Subject:
Software Measurement
,
Coupling
,
Cohesion
Author:
Martin
Hitz
Behzad
Montazeri
page:
267
-
279
|
|
| | |